projects
/
web.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
a8d4eda
)
Copy icons and use them in generated pages
author
Jo-Philipp Wich
<
[email protected]
>
Tue, 5 Apr 2016 21:03:42 +0000
(23:03 +0200)
committer
Jo-Philipp Wich
<
[email protected]
>
Tue, 5 Apr 2016 21:03:42 +0000
(23:03 +0200)
Signed-off-by: Jo-Philipp Wich <
[email protected]
>
generate.sh
patch
|
blob
|
history
diff --git
a/generate.sh
b/generate.sh
index ea6c42b99b2f5e318726388d82b5d2e8692c5202..b8407e045d7c02d2f8db50452789c83dac94e157 100755
(executable)
--- a/
generate.sh
+++ b/
generate.sh
@@
-6,7
+6,7
@@
}
D="$(pwd)"
-O="-b html5 -a linkcss -a stylesdir=/css -a stylesheet=lede.css -a disable-javascript"
+O="-b html5 -a linkcss -a stylesdir=/css -a stylesheet=lede.css -a disable-javascript
-a icons -a iconsdir=/icon
"
copy() {(
cd "$1"
@@
-28,6
+28,7
@@
render() {(
copy "$D/logo" "$D/html/logo"
copy "$D/css" "$D/html/css"
+copy "$D/icon" "$D/html/icon"
render "$D/pages" "$D/html"
render "$D/docs" "$D/html/docs"